.text
foo:
	vbperm	%v15,%v17,%v20
	vllezlf	%v15,4000(%r6,%r9)
	vmsl	%v15,%v17,%v20,%v24,13,12
	vmslg	%v15,%v17,%v20,%v24,13
	vnx	%v15,%v17,%v20
	vnn	%v15,%v17,%v20
	voc	%v15,%v17,%v20
	vpopctb	%v15,%v17
	vpopcth	%v15,%v17
	vpopctf	%v15,%v17
	vpopctg	%v15,%v17
	vfasb	%v15,%v17,%v20
	wfasb	%v15,%v17,%v20
	wfaxb	%v15,%v17,%v20
	wfcsb	%v15,%v17
	wfcxb	%v15,%v17
	wfksb	%v15,%v17
	wfkxb	%v15,%v17
	vfcesb	%v15,%v17,%v20
	vfcesbs	%v15,%v17,%v20
	wfcesb	%v15,%v17,%v20
	wfcesbs	%v15,%v17,%v20
	wfcexb	%v15,%v17,%v20
	wfcexbs	%v15,%v17,%v20
	vfkesb	%v15,%v17,%v20
	vfkesbs	%v15,%v17,%v20
	wfkesb	%v15,%v17,%v20
	wfkesbs	%v15,%v17,%v20
	vfkedb	%v15,%v17,%v20
	vfkedbs	%v15,%v17,%v20
	wfkedb	%v15,%v17,%v20
	wfkedbs	%v15,%v17,%v20
	wfkexb	%v15,%v17,%v20
	wfkexbs	%v15,%v17,%v20
	vfchsb	%v15,%v17,%v20
	vfchsbs	%v15,%v17,%v20
	wfchsb	%v15,%v17,%v20
	wfchsbs	%v15,%v17,%v20
	wfchxb	%v15,%v17,%v20
	wfchxbs	%v15,%v17,%v20
	vfkhsb	%v15,%v17,%v20
	vfkhsbs	%v15,%v17,%v20
	wfkhsb	%v15,%v17,%v20
	wfkhsbs	%v15,%v17,%v20
	vfkhdb	%v15,%v17,%v20
	vfkhdbs	%v15,%v17,%v20
	wfkhdb	%v15,%v17,%v20
	wfkhdbs	%v15,%v17,%v20
	wfkhxb	%v15,%v17,%v20
	wfkhxbs	%v15,%v17,%v20
	vfchesb	%v15,%v17,%v20
	vfchesbs	%v15,%v17,%v20
	wfchesb	%v15,%v17,%v20
	wfchesbs	%v15,%v17,%v20
	wfchexb	%v15,%v17,%v20
	wfchexbs	%v15,%v17,%v20
	vfkhesb	%v15,%v17,%v20
	vfkhesbs	%v15,%v17,%v20
	wfkhesb	%v15,%v17,%v20
	wfkhesbs	%v15,%v17,%v20
	vfkhedb	%v15,%v17,%v20
	vfkhedbs	%v15,%v17,%v20
	wfkhedb	%v15,%v17,%v20
	wfkhedbs	%v15,%v17,%v20
	wfkhexb	%v15,%v17,%v20
	wfkhexbs	%v15,%v17,%v20
	vfdsb	%v15,%v17,%v20
	wfdsb	%v15,%v17,%v20
	wfdxb	%v15,%v17,%v20
	vfisb	%v15,%v17,13,12
	wfisb	%v15,%v17,13,12
	wfixb	%v15,%v17,13,12
	vfll	%v15,%v17,13,12
	vflls	%v15,%v17
	wflls	%v15,%v17
	wflld	%v15,%v17
	vflr	%v15,%v17,13,12,11
	vflrd	%v15,%v17,13,12
	wflrd	%v15,%v17,13,12
	wflrx	%v15,%v17,13,12
	vfmax	%v15,%v17,%v20,13,12,11
	vfmaxsb	%v15,%v17,%v20,13
	vfmaxdb	%v15,%v17,%v20,13
	wfmaxsb	%v15,%v17,%v20,13
	wfmaxdb	%v15,%v17,%v20,13
	wfmaxxb	%v15,%v17,%v20,13
	vfmin	%v15,%v17,%v20,13,12,11
	vfminsb	%v15,%v17,%v20,13
	vfmindb	%v15,%v17,%v20,13
	wfminsb	%v15,%v17,%v20,13
	wfmindb	%v15,%v17,%v20,13
	wfminxb	%v15,%v17,%v20,13
	vfmsb	%v15,%v17,%v20
	wfmsb	%v15,%v17,%v20
	wfmxb	%v15,%v17,%v20
	vfmasb	%v15,%v17,%v20,%v24
	wfmasb	%v15,%v17,%v20,%v24
	wfmaxb	%v15,%v17,%v20,%v24
	vfmssb	%v15,%v17,%v20,%v24
	wfmssb	%v15,%v17,%v20,%v24
	wfmsxb	%v15,%v17,%v20,%v24
	vfnma	%v15,%v17,%v20,%v24,13,12
	vfnmasb	%v15,%v17,%v20,%v24
	wfnmasb	%v15,%v17,%v20,%v24
	vfnmadb	%v15,%v17,%v20,%v24
	wfnmadb	%v15,%v17,%v20,%v24
	wfnmaxb	%v15,%v17,%v20,%v24
	vfnms	%v15,%v17,%v20,%v24,13,12
	vfnmssb	%v15,%v17,%v20,%v24
	wfnmssb	%v15,%v17,%v20,%v24
	vfnmsdb	%v15,%v17,%v20,%v24
	wfnmsdb	%v15,%v17,%v20,%v24
	wfnmsxb	%v15,%v17,%v20,%v24
	vfpsosb	%v15,%v17,13
	wfpsosb	%v15,%v17,13
	vflcsb	%v15,%v17
	wflcsb	%v15,%v17
	vflnsb	%v15,%v17
	wflnsb	%v15,%v17
	vflpsb	%v15,%v17
	wflpsb	%v15,%v17
	wfpsoxb	%v15,%v17,13
	wflcxb	%v15,%v17
	wflnxb	%v15,%v17
	wflpxb	%v15,%v17
	vfsqsb	%v15,%v17
	wfsqsb	%v15,%v17
	wfsqxb	%v15,%v17
	vfssb	%v15,%v17,%v20
	wfssb	%v15,%v17,%v20
	wfsxb	%v15,%v17,%v20
	vftcisb	%v15,%v17,4093
	wftcisb	%v15,%v17,4093
	wftcixb	%v15,%v17,4093
	agh	%r6,-10000(%r9,%r11)
	bic	13,-10000(%r6,%r9)
	bi	-10000(%r6,%r9)
	bio	-10000(%r6,%r9)
	bih	-10000(%r6,%r9)
	bip	-10000(%r6,%r9)
	binle	-10000(%r6,%r9)
	bil	-10000(%r6,%r9)
	bim	-10000(%r6,%r9)
	binhe	-10000(%r6,%r9)
	bilh	-10000(%r6,%r9)
	bine	-10000(%r6,%r9)
	binz	-10000(%r6,%r9)
	bie	-10000(%r6,%r9)
	biz	-10000(%r6,%r9)
	binlh	-10000(%r6,%r9)
	bihe	-10000(%r6,%r9)
	binl	-10000(%r6,%r9)
	binm	-10000(%r6,%r9)
	bile	-10000(%r6,%r9)
	binh	-10000(%r6,%r9)
	binp	-10000(%r6,%r9)
	bino	-10000(%r6,%r9)
	mgrk	%r6,%r9,%r11
	mg	%r6,-10000(%r9,%r11)
	mgh	%r6,-10000(%r9,%r11)
	msrkc	%r6,%r9,%r11
	msgrkc	%r6,%r9,%r11
	msc	%r6,-10000(%r9,%r11)
	msgc	%r6,-10000(%r9,%r11)
	sgh	%r6,-10000(%r9,%r11)
	vlrlr	%v15,%r6,4000(%r9)
	vlrl	%v15,4000(%r6),253
	vstrlr	%v15,%r6,4000(%r9)
	vstrl	%v15,4000(%r6),253
	vap	%v15,%v17,%v20,253,12
	vcp	%v15,%v17,13
	vcvb	%r6,%v15,13
	vcvbg	%r6,%v15,13
	vcvd	%v15,%r6,253,12
	vcvdg	%v15,%r6,253,12
	vdp	%v15,%v17,%v20,253,12
	vlip	%v15,65533,12
	vmp	%v15,%v17,%v20,253,12
	vmsp	%v15,%v17,%v20,253,12
	vpkz	%v15,4000(%r6),253
	vpsop	%v15,%v17,253,252,11
	vrp	%v15,%v17,%v20,253,12
	vsdp	%v15,%v17,%v20,253,12
	vsrp	%v15,%v17,253,252,11
	vsp	%v15,%v17,%v20,253,12
	vtp	%v15
	vupkz	%v15,4000(%r6),253
	lgg	%r6,-10000(%r9,%r11)
	llgfsg	%r6,-10000(%r9,%r11)
	lgsc	%r6,-10000(%r9,%r11)
	stgsc	%r6,-10000(%r9,%r11)
	kma	%r6,%r9,%r11
	prno	%r6,%r9
	tpei	%r6,%r9
	irbm	%r6,%r9
	vl	%v15,4000(%r6,%r9)
	vl	%v15,4000(%r6,%r9),13
	vlm	%v15,%v17,4000(%r6)
	vlm	%v15,%v17,4000(%r6),13
	vst	%v15,4000(%r6,%r9)
	vst	%v15,4000(%r6,%r9),13
	vstm	%v15,%v17,4000(%r6)
	vstm	%v15,%v17,4000(%r6),13
